Book Review: $\Omega$-bibliography of mathematical logic, Vol. I: Classical logic

Classical Logic I: First-Order Logic

The word 'logic' in the title of this chapter is ambiguous. In its first meaning, a logic is a collection of closely related artificial languages. There are certain languages called first-order languages, and together they form first-order logic. In the same spirit, there are several closely related languages called modal languages, and together they form modal logic. Likewise second-order logi...

Book review Logic and Visual Information

Researchers in the elds of philosophy, logic, computer science, and formal semantics are beginning to ask interesting questions concerning graphical representation. In addition to being a primary mode of human communication, such representations have been used even in the teaching of logic eg. Venn diagrams, or the Hyperproof" system. If the observation that the visual presentation of informati...

BOOK REVIEW: Quantum Logic in Algebraic Approach

Since the invention of quantum logic by Birkhoff & von Neumann there has been a steady interest in the topic. Quantum logic owes much of its current attention to the rise of experimental foundational physics. Many researchers interested in the foundation of physics begin to view this field as a way to understand the quantum better; or at least from a new, hitherto unknown viewpoint. Yet much is...

Logic, Truth and Inquiry (Book Review)

Quantum Logic as Classical Logic

We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL. In other words, we refute Birkhoff and von Neumann’s classic thesis that the logic (the formal character) of Quantum...